@CHARSET "UTF-8";

.gwt-Button {
  display: inline;
  margin: 3px;
  cursor: pointer;
}

.gwt-Button-noop {
  color: #666;
}

.gwt-Button-current {
  font-weight: bold;
  color: #00F;
}